TSTP Solution File: SWV428^2 by Refute---2015